Throughput analysis in timed colored Petri nets
نویسنده
چکیده
It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach ca be applied to a variety of net models. Throughput analysis is based on S t N C t U d properties of nets only, so it avoids the potential complexity of reachability analysis, and it can be used for analysis of unbounded nets.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملThroughput Analysis in Timed Petri Nets
It is shown that the steady–state behaviour of a class of timed Petri nets can be analysed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis uses structural properties of nets o...
متن کاملThroughput Analysis of Manufacturing Cells Using Timed Petri Nets
It is shown that a large class of flexible manufacturing cells can be modeled by timed Petri nets. Several net transformations are proposed to simplify the structure of the modeling nets while preserving their performance properties. The throughput of the model can be obtained by applying simple rules of operational analysis to simplified nets. Several extensions of the proposed approach are al...
متن کاملRisk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored PNs are an extension of classical PNs that are suitable for modeling and analyzing complex interconnected CIs. Timed PNs are another extension of PNs that support timing constra...
متن کامل